#/bin/bash

pushd ~/codespace/
if [ ! -f "server-experiment" ]; then
    git clone git@gitee.com:renyaoxiang/server-experiment.git
fi
if [ ! -f "server-sprite" ]; then
    git clone git@gitee.com:renyaoxiang/server-sprite.git
fi
if [ ! -f "vagrant-box" ]; then
    git clone git@gitee.com:renyaoxiang/vagrant-box.git
fi
if [ ! -f "vagrant-luccych-helloworld" ]; then
    git clone git@gitee.com:renyaoxiang/vagrant-luccych-helloworld.git
fi

if [ ! -f "vagrant-disksize" ]; then
    git clone git@gitee.com:renyaoxiang/vagrant-disksize.git
fi

if [ ! -f "vagrant" ]; then
    git clone git@gitee.com:renyaoxiang/vagrant.git
fi

if [ ! -f "study-doc" ]; then
    git clone git@gitee.com:renyaoxiang/study-doc.git
fi
popd
